Extending the Representational Power of Model- Based Systems using Generalized Timelines

. Current declarative systems (i.e., model-based systems) are limited to a small number of types of states and resources that they can represent (e.g., we cannot model orientation with current systems). Thus, software is usually “hand-crafted” to meet the needs of state validation-estimation-projection for real domains where estimation is not sufficient. To meet this need, we provide an abstract formulation of capacitated resource scheduling in metric time that admits a straightforward procedural interface for easy customization meeting many real-world domain description requirements while remaining in the same complexity class as their simpler scheduling counterparts-NF”Comp1ete.